101. Language, logic, and computation :
Author: Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational linguistics, Congresses.,Computer logic, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Computational linguistics.,Computer logic.,Programming languages (Electronic computers)-- Semantics.
Classification :
QA76
.
9
.
L63
102. Languages and tools for hybrid systems design /
Author: Luca P. Carloni [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Hybrid computers-- Programming.,Hybrid systems-- Computer simulation.,Hybrid systems-- Design-- Data processing.,Hybrid systems-- Mathematical models.,Programming languages (Electronic computers),System analysis-- Computer programs.,Hybrid computers-- Programming.,Programming languages (Electronic computers),System analysis-- Computer programs.,TECHNOLOGY & ENGINEERING-- Automation.
Classification :
QA76
.
7
.
L36
2006
103. Languages for paralle architecturres
Author: / edited by j. w . de bakker
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Parallel Processing (Computer Science),Programming languages ( Electronic computers) --Semantics,Computer architecture
Classification :
QA
76
.
6
.
L3353
1989
104. Logic, language, and computation
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer logic ; Congresses. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computational linguistics ; Congresses. ;
105. Logic, language, and computation
Author: / Balder D. ten Cate, Henk W. Zeevat (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer logic--Congresses,Programming languages (Electronic computers)--Semantics--Congresses,Computational linguistics--Congresses
Classification :
QA
,
76
.
9
,.
L63
,
I565
,
2005
106. Logic, language, and computation :
Author: Nick Bezhanishvili [and others] (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
Classification :
QA76
.
9
.
L63
I57
2009eb
107. Logic, language, and computation
Author: \ [edited by] Martin Aher...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبانهای برنامهنویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبانشناسی کامپیوتری -- کنگره ها
Classification :
QA
75
.
5
.
L644
2015
E-Book
,
108. Logic of Domains
Author: Guo-Qiang Zhang
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
Z47
1991
109. Logic of domains
Author: Zhang, Guo-Qiang
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
Z47
1991
110. Logic program synthesis and transformation - meta-programming in logic :
Author: Laurent Fribourg, Franco Turini (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.
111. Logic programming :
Author: James H. Andrews
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming,Programming languages (Electronic computers)-- Semantics,Proof theory
112. Logics of specification languages
Author: Dines Bjrner, Martin C. Henson, editors
Library: (Semnan)
Subject: Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
L65
2008
113. Logics of specification languages
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
L65
2008
114. Logics of specification languages
Author: Dines Bjrner, Martin C. Henson, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
L63
115. Mathematical Foundations of Computer Science 1986 :
Author: edited by Jozef Gruska, Branislav Rovan, Juraj Wiedermann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
Classification :
QA267
.
E358
1986
116. Mathematical aspects of logic programming semantics
Author: / Pascal Hitzler, Anthony Seda
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic programming,Programming languages (Electronic computers),-- Semantics
Classification :
005
.
115
H676M
2011
117. Mathematical founations of programming semantics; International Conference Manhattan, Kansas, April 11-12, 1985 Proceedings
Author: edited by Austin Melton
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Electronic digital computers - Programming
Classification :
QA
76
.
L4
v
.
239
118. Mathematical foundations of programming language semantics : 3rd Workshop , Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987: proceedings
Author: M. Main...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
298
119. Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
7
.
M378
1988
120. Mathematical foundations of programming semantics :
Author: M. Main, A. Melton, M. Mislove ... [et al.], eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,sémantique programme.
Classification :
QA76
.
7
M535
1990
